21. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Author: Teodor Rus )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1816
22. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Author: Helene Kirchner, Christophe Ringeissen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2422
23. Applied Informatics and Communication
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
Classification :
E-Book
,
24. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
25. Central European Functional Programming School
Author: \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی
Classification :
QA
76
.
62
.
C4
2015
E-Book
,
26. Computational science and its applications -- ICCSA 2014 :
Author: Beniamino Murgante...[and 8 more] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
Classification :
QA75
.
5
27. Computational science and its applications -- ICCSA 2019 :
Author: Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
Classification :
QA75
.
5
.
I22
2019eb
28. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
29. Dependable Software Engineering
Author: \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
Classification :
QA
76
.
758
.
D4
2015
E-Book
,
30. Engineering Secure Software and Systems
Author: \ [edited by] Frank Piessens, Juan Caballero, Nataliia Bielova.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer security -- Congresses.,Software engineering -- Congresses.,Data encryption (Computer science) -- Congresses.,کامپیوترها -- ایمنی اطلاعات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها
Classification :
QA
76
.
9
.
E5
2015
E-Book
,
31. Engineering theories of software construction
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
758
.
N388
2000
32. FM 2015
Author: \ Nikolaj Bjørner , Frank de Boer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,مهندسی ن‍رم اف‍زار
Classification :
QA
76
.
9
.
F57
2015
E-Book
,
33. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
34. FST TCS 2000
Author: / Sanjiv Kapoor, Sanjiva Prasad (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer science--Congresses
Classification :
QA
,
76
.
751
,.
F68
,
2000
35. FST TCS 2000 :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer science ; Congresses. ;
36. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
Author: Manindra Agrawal, Anil Seth )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2556
37. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
Author: Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2914
38. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Author: Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2245
39. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Author: Sanjiv Kapoor, Snajiva Prasad )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
1974
40. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
